OHORI, ATSUSHI : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (75)
Les plus populaires
Liste
- Liste
- Tableau

1

Using powerdomains to generalize relational databases

Peter Buneman, Achim Jung, Atsushi Ohori

Journal:

Theoretical Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 2.27 MB

english, 1991

2

An Unboxed Operational Semantics for ML Polymorphism

Atsushi Ohori, Tomonobu Takamizawa

Journal:

Higher-Order and Symbolic Computation

Année:

1997

Langue:

english

Fichier:

PDF, 231 KB

english, 1997

3

Parallel functional programming on recursively defined data via data-parallel recursion

NISHIMURA, SUSUMU, OHORI, ATSUSHI

Journal:

Journal of Functional Programming

Année:

1999

Langue:

english

Fichier:

PDF, 418 KB

english, 1999

4

3209 Evaluation of ride comfort with EMG

Okamoto, Yuji, Nakano, Kimihiko, Ohori, Masataka, Tagaya, Atsushi, Suda, Yoshihiro, Hori, Shigeyuki

Journal:

The Proceedings of the Transportation and Logistics Conference

Année:

2009

Fichier:

PDF, 508 KB

2009

5

Detection of prostate carcinoma using prostate specific antigen, its density, and the density of the transition zone in Japanese men with intermediate serum prostate specific antigen concentrations

Kazuo Gohji, Masashi Nomi, Shin Egawa, Koichi Morisue, Atsushi Takenaka, Masayuki Okamoto, Makoto Ohori, Akio Fujii

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 110 KB

english, 1997

6

Virological significance of HBeAg subtypes (HBeAg/1 and HBeAg/2) in patients with type B hepatitis

Atsushi Kanno, Hitoshi Ohori, Keizaburoh Matsuda, Haruo Nakayama, Yutaka Miyazaki, Motoyasu Ishii, Hiroshi Suzuki, Masao Ohtsuki, Yoshio Goto

Journal:

Année:

1987

Langue:

english

Fichier:

PDF, 536 KB

english, 1987

7

Two distinct types of non-A, non-B hepatitis in a cardiovascular surgical unit

Dr. Hitoshi Ohori, Yasuko Nagatsuka, Atsushi Kanno, Yasuyuki Abe, Nakao Ishida

Journal:

Journal of Medical Virology

Année:

1983

Langue:

english

Fichier:

PDF, 538 KB

english, 1983

8

A risk index for the prediction of the incidence of non-A, non-B posttransfusion hepatitis in open-heart surgery patients

Dr Yasuko Nagatsuka, Hitoshi Ohori, Atsushi Kanno, Yasuyuki Abe, Takao Togoh, Nakao Ishida

Journal:

Journal of Medical Virology

Année:

1983

Langue:

english

Fichier:

PDF, 698 KB

english, 1983

9

An antigen/antibody system specific for an epidemic non-A, non-B hepatitis in patients of a cardiovascular surgical unit

Dr Hitoshi Ohori, Atsushi Kanno, Yasuko Nagatsuka, Ei Yamada, Shiroh Onodera, Akira Tateda, Yasuyuki Abe, Takao Togoh, Nakao Ishida

Journal:

Journal of Medical Virology

Année:

1983

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1983

10

Seroepidemiological studies on a non-A, non-B hepatitis specific antigen/antibody system (SO-antigen/anti-SO)

Dr. Atsushi Kanno, Hitoshi Ohori, Yasuko Nagatsuka, Hiroshi Sekino, Akira Tateda, Yoshio Goto, Nakao Ishida

Journal:

Journal of Medical Virology

Année:

1986

Langue:

english

Fichier:

PDF, 649 KB

english, 1986

11

Immunochemical Characterization of Hepatitis B e Antigen Subtypes, HBeAg/l and HBeAg/2, in Sera of Hepatitis B Virus Carriers

Keizaburoh Matsuda, Hitoshi Ohori, Atsushi Kanno

Journal:

Journal of Medical Virology

Année:

1986

Langue:

english

Fichier:

PDF, 757 KB

english, 1986

12

Demonstration of hepatitis C virus genome in saliva and urine of patients with type C hepatitis: Usefulness of the single round polymerase chain reaction method for detection of the HCV genome

Noboru Numata, Hitoshi Ohori, Yasuhiko Hayakawa, Yukie Saitoh, Akira Tsunoda, Atsushi Kanno

Journal:

Journal of Medical Virology

Année:

1993

Langue:

english

Fichier:

PDF, 859 KB

english, 1993

13

Semantics of types for database objects

Journal:

Theoretical Computer Science

Année:

1990

Langue:

english

Fichier:

PDF, 4.95 MB

english, 1990

14

A typed context calculus

Masatomo Hashimoto, Atsushi Ohori

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 243 KB

english, 2001

15

Register allocation by proof transformation

Journal:

Science of Computer Programming

Année:

2004

Langue:

english

Fichier:

PDF, 318 KB

english, 2004

16

Type-Directed Specialization of Polymorphism

Journal:

Information and Computation

Année:

1999

Langue:

english

Fichier:

PDF, 575 KB

english, 1999

17

Is lung cancer resection indicated in patients with idiopathic pulmonary fibrosis?

Atsushi Watanabe, Tetsuya Higami, Syunsuke Ohori, Tetsuya Koyanagi, Shinji Nakashima, Tohru Mawatari

Journal:

The Journal of Thoracic and Cardiovascular Surgery

Année:

2008

Langue:

english

Fichier:

PDF, 196 KB

english, 2008

18

Clinical and pathological significance of the level and extent of capsular invasion in clinical stage T1–2 prostate cancer

Thomas M Wheeler, Özdal Dillioglugil, Michael W Kattan, Atsushi Arakawa, Shigehiro Soh, Kazuho Suyama, Makoto Ohori, Peter T Scardino

Journal:

Human Pathology

Année:

1998

Langue:

english

Fichier:

PDF, 1.34 MB

english, 1998

19

[Lecture Notes in Computer Science] Types in Compilation Volume 1473 || A toolkit for constructing type- and constraint-based program analyses

Leroy, Xavier, Ohori, Atsushi

Année:

1998

Langue:

english

Fichier:

PDF, 964 KB

english, 1998

20

Is video-assisted thoracoscopic surgery a feasible approach for clinical N0 and postoperatively pathological N2 non-small cell lung cancer?☆

Watanabe, Atsushi, Mishina, Taijiro, Ohori, Syunsuke, Koyanagi, Tetsuya, Nakashima, Shinji, Mawatari, Tohru, Kurimoto, Yoshihiko, Higami, Tetsuya

Journal:

European Journal of Cardio-Thoracic Surgery

Année:

2008

Langue:

english

Fichier:

PDF, 200 KB

english, 2008

21

[Lecture Notes in Computer Science] Advances in Computing Science ASIAN 98 Volume 1538 || First-Class Contexts in ML

Hsiang, Jieh, Ohori, Atsushi

Année:

1998

Langue:

english

Fichier:

PDF, 334 KB

english, 1998

22

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2895 || A Typeful and Tagless Representation for XML Documents

Année:

2003

Langue:

english

Fichier:

PDF, 214 KB

english, 2003

23

Feasibility of video-assisted thoracoscopic surgery segmentectomy for selected peripheral lung carcinomas☆

Watanabe, Atsushi, Ohori, Syunsuke, Nakashima, Shinji, Mawatari, Tohru, Inoue, Norio, Kurimoto, Yoshihikoi, Higami, Tetsuya

Journal:

European Journal of Cardio-Thoracic Surgery

Année:

2009

Langue:

english

Fichier:

PDF, 155 KB

english, 2009

24

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2895 || Dataflow Pointcut in Aspect-Oriented Programming

Année:

2003

Langue:

english

Fichier:

PDF, 265 KB

english, 2003

25

A static type system for JVM access control

Higuchi, Tomoyuki, Ohori, Atsushi

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2007

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2007

26

[ACM Press the 8th ACM SIGPLAN symposium - Venice, Italy (2006.07.10-2006.07.12)] Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 - A type system equivalent to static single assignment

Matsuno, Yutaka, Ohori, Atsushi

Année:

2006

Langue:

english

Fichier:

PDF, 259 KB

english, 2006

27

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Lightweight fusion by fixed point promotion

Ohori, Atsushi, Sasano, Isao

Année:

2007

Langue:

english

Fichier:

PDF, 605 KB

english, 2007

28

A polymorphic record calculus and its compilation

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1995

Langue:

english

Fichier:

PDF, 3.34 MB

english, 1995

29

[ACM Press the 11th ACM SIGPLAN conference - San Jose, California, United States (1996.10.06-1996.10.10)] Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '96 - An equational object-oriented data model and its data-parallel query language

Nishimura, Susumu, Ohori, Atsushi, Tajima, Keishi

Année:

1996

Langue:

english

Fichier:

PDF, 1.89 MB

english, 1996

30

[ACM Press the 1989 ACM SIGMOD international conference - Portland, Oregon, United States (1989..-..)] Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89 - Database programming in Machiavelli---a polymorphic language with static type inference

Ohori, Atsushi, Buneman, Peter, Breazu-Tannen, Val

Année:

1989

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1989

31

A static type system for JVM access control

Higuchi, Tomoyuki, Ohori, Atsushi

Journal:

ACM SIGPLAN Notices

Année:

2003

Langue:

english

Fichier:

PDF, 146 KB

english, 2003

32

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - A static type system for JVM access control

Higuchi, Tomoyuki, Ohori, Atsushi

Année:

2003

Langue:

english

Fichier:

PDF, 146 KB

english, 2003

33

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Making standard ML a practical database programming language

Ohori, Atsushi, Ueno, Katsuhiro

Année:

2011

Langue:

english

Fichier:

PDF, 426 KB

english, 2011

34

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Semantics for communication primitives in a polymorphic language

Ohori, Atsushi, Kato, Kazuhiko

Année:

1993

Langue:

english

Fichier:

PDF, 1.31 MB

english, 1993

35

[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - Java bytecode as a typed term calculus

Higuchi, Tomoyuki, Ohori, Atsushi

Année:

2002

Langue:

english

Fichier:

PDF, 209 KB

english, 2002

36

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - A compilation method for ML-style polymorphic record calculi

Année:

1992

Langue:

english

Fichier:

PDF, 1.04 MB

english, 1992

37

[ACM Press the 8th ACM SIGPLAN symposium - Venice, Italy (2006.07.10-2006.07.12)] Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 - Compiling ML polymorphism with explicit layout bitmap

Nguyen, Huu-Duc, Ohori, Atsushi

Année:

2006

Langue:

english

Fichier:

PDF, 225 KB

english, 2006

38

[ACM Press the 1988 ACM conference - Snowbird, Utah, United States (1988.07.25-1988.07.27)] Proceedings of the 1988 ACM conference on LISP and functional programming - LFP '88 - Type inference in a database programming language

Ohori, Atsushi, Buneman, Peter

Année:

1988

Langue:

english

Fichier:

PDF, 1.04 MB

english, 1988

39

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - SML# in industry

Ohori, Atsushi, Ueno, Katsuhiro, Hoshi, Kazunori, Nozaki, Shinji, Sato, Takashi, Makabe, Tasuku, Ito, Yuki

Année:

2014

Langue:

english

Fichier:

PDF, 591 KB

english, 2014

40

SPECIAL ISSUE ON ADVANCES IN COMPUTING SCIENCE — ASIAN '98

HSIANG, JIEH, OHORI, ATSUSHI

Journal:

International Journal of Foundations of Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 95 KB

english, 2000

41

[ACM Press the thirteenth ACM SIGACT-SIGMOD-SIGART symposium - Minneapolis, Minnesota, United States (1994.05.24-1994.05.27)] Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '94 - A polymorphic calculus for views and object sharing (extended abstract)

Ohori, Atsushi, Tajima, Keishi

Année:

1994

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1994

42

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - An efficient non-moving garbage collector for functional languages

Ueno, Katsuhiro, Ohori, Atsushi, Otomo, Toshiaki

Année:

2011

Langue:

english

Fichier:

PDF, 629 KB

english, 2011

43

A proof theory for machine code

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2007

Langue:

english

Fichier:

PDF, 594 KB

english, 2007

44

Polymorphism and type inference in database programming

Buneman, Peter, Ohori, Atsushi

Journal:

ACM Transactions on Database Systems

Année:

1996

Langue:

english

Fichier:

PDF, 2.82 MB

english, 1996

45

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2895 || Translating a Continuous-Time Temporal Logic into Timed Automata

Année:

2003

Langue:

english

Fichier:

PDF, 255 KB

english, 2003

46

Making standard ML a practical database programming language

Ohori, Atsushi, Ueno, Katsuhiro

Journal:

ACM SIGPLAN Notices

Année:

2011

Langue:

english

Fichier:

PDF, 426 KB

english, 2011

47

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2895 || Automatic Construction of Hoare Proofs from Abstract Interpretation Results

Année:

2003

Langue:

english

Fichier:

PDF, 634 KB

english, 2003

48

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2895 || Extensional Polymorphism by Flow Graph Dispatching

Année:

2003

Langue:

english

Fichier:

PDF, 237 KB

english, 2003

49

[Lecture Notes in Computer Science] Types in Compilation Volume 1473 || Determination of dynamic method dispatches using run-time code generation

Leroy, Xavier, Ohori, Atsushi

Année:

1998

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1998

50

Database programming in Machiavelli---a polymorphic language with static type inference

Ohori, Atsushi, Buneman, Peter, Breazu-Tannen, Val

Journal:

ACM SIGMOD Record

Année:

1989

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1989